Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI *

Source URL: ilyasergey.net

• Theoretical computer science
• Mathematics
• Knowledge representation
• Tree
• Engineering
• Minimum spanning tree
• Graph
• Separation logic
• Topology

This article was downloaded by: [Lidz, Jeffrey][University of Maryland College Park] On: 16 April 2010 Access details: Access Details: [subscription numberPublisher Psychology Press Informa Ltd Registered in

Source URL: ling.umd.edu

• Semantics
• Philosophy of language
• Interpretation
• Cognitive science
• Logic
• Analytic philosophy
• Memory
• Cognition
• Priming
• Pragmatics
• Isomorphism
• Musolino

A Non-monotonic Extension of Universal Moral Grammar Theory Gert-Jan Munneke () Institute for Logic, Language and Computation University of Amsterdam 107 Science Park, Amsterdam, 1090 GE The Netherlands

Source URL: jakubszymanik.com

Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal verification
• Automated reasoning
• KeY
• Prover9
• Frama-C
• First-order logic

Completeness results for the ZX-calculus Miriam Backens Department of Computer Science, University of Oxford Quantum Physics and Logic, Kyoto, 2014

Source URL: www-mmm.is.s.u-tokyo.ac.jp

Under consideration for publication in Math. Struct. in Comp. Science A Judgmental Reconstruction of Modal Logic F R A N K P F E N N I N G† and R O W A N D A V I E S Department of Computer Science

Source URL: hylocore.ruc.dk

The Logic of Things That Just Happen

Source URL: www.peripheralstudies.org

• Philosophy of science
• Philosophy of social science
• Anthropology
• Politics of science
• Humanities
• Determinism
• Marvin Harris
• Positivism
• Antipositivism
• Ethnography
• Reality
• Cultural anthropology

A New Continuous Propositional Logic Riccardo Poli, Mark Ryan and Aaron Sloman School of Computer Science The University of Birmingham Birmingham B15 2TT United Kingdom

Source URL: www.cs.bham.ac.uk

Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy

Source URL: andrius.velykis.lt

• Automated theorem proving
• Theoretical computer science
• Logic
• Formal methods
• Mathematics
• Logic in computer science
• Proof theory
• Mathematical proof
• Proof assistant
• Isabelle
• Theorem
• Proof

Agents and Roles: Renement in Alternating-Time Temporal Logic Mark Ryan1 and Pierre-Yves Schobbens2 1 School of Computer Science

Source URL: www.cs.bham.ac.uk